Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief

Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own beliefs, as well as those of other agents. However, planning involving nested beliefs is known to be computationally challenging. In this work, we address the task of synthesizing plans that necessitate reasoning about the beliefs of other agents. We plan from the perspective of a single agent with the potential for goals and actions that involve nested beliefs, non-homogeneous agents, co-present observations, and the ability for one agent to reason as if it were another. We formally characterize our notion of planning with nested belief, and subsequently demonstrate how to automatically convert such problems into problems that appeal to classical planning technology for solving efficiently. Our approach represents an important step towards applying the well-established field of automated planning to the challenging task of planning involving nested beliefs of multiple agents

Superconductivity and the upper critical field in the chiral noncentrosymmetric superconductor NbRh2B2

NbRh2B2 crystallises in a chiral noncentrosymmetric structure and exhibits bulk type-II superconductivity below 7.46(5) K. Here we show that the temperature dependence of the upper critical field deviates from the behaviour expected for both Werthamer-Helfand-Hohenberg and the Ginzburg-Landau models and that μ0Hc2 (0) ~ 18 T exceeds the Pauli paramagnetic limit, μ0HP = 13.9 T. We explore the reasons for this enhancement. Transverse-field muon spectroscopy measurements suggest that the superconducting gap is either s-wave or (s + s)-wave, a the pressure dependence of Tc reveals the superconducting gap is primarily s- wave in character. The magnetic penetration depth lambda(0) = 595(5) nm. Heat capacity measurements reveal the presence of a multigap (s + s)-wave superconducting order parameter and moderate electron-phonon coupling

The baryon fraction of LambdaCDM haloes

We investigate the baryon fraction in dark matter haloes formed in non-radiative gas-dynamical simulations of the LambdaCDM cosmogony. By combining a realisation of the Millennium Simulation (Springel et al.) with a simulation of a smaller volume focussing on dwarf haloes, our study spans five decades in halo mass, from 10^10 Msun/h to 10^15 Msun/h. We find that the baryon fraction within the halo virial radius is typically 90% of the cosmic mean, with an rms scatter of 6%, independently of redshift and of halo mass down to the smallest resolved haloes. Our results show that, contrary to the proposal of Mo et al. (2005), pre-virialisation gravitational heating is unable to prevent the collapse of gas within galactic and proto-galactic haloes, and confirm the need for non-gravitational feedback in order to reduce the efficiency of gas cooling and star formation in dwarf galaxy haloes. Simulations including a simple photoheating model (where a gas temperature floor of T_{floor} = 2x10^4 K is imposed from z=11) confirm earlier suggestions that photoheating can only prevent the collapse of baryons in systems with virial temperatures T_{200} < ~2.2 T_{floor} ~ 4.4x10^4 K (corresponding to a virial mass of M_{200} ~ 10^10 Msun/h and a circular velocity of V_{200} ~ 35 km/s). Photoheating may thus help regulate the formation of dwarf spheroidals and other galaxies at the extreme faint-end of the luminosity function, but it cannot, on its own, reconcile the abundance of sub-L* galaxies with the vast number of dwarf haloes expected in the LambdaCDM cosmogony. The lack of evolution or mass dependence seen in the baryon fraction augurs well for X-ray cluster studies that assume a universal and non-evolving baryon fraction to place constraints on cosmological parameters.Comment: 9 pages, 5 figures (Figs 1. and 2 reduced in quality), 1 table, submitted to MNRAS. Version with high-resolution figures can be obtained from http://star-www.dur.ac.uk/~rcrain/baryonfractions

Planning Over Multi-Agent Epistemic States: A Classical Planning Approach

Many AI applications involve the interaction of multiple autonomous agents, requiring those agents to reason about their own beliefs, as well as those of other agents. However, planning involving nested beliefs is known to be computationally challenging. In this work, we address the task of synthesizing plans that necessitate reasoning about the beliefs of other agents. We plan from the perspective of a single agent with the potential for goals and actions that involve nested beliefs, non-homogeneous agents, co-present observations, and the ability for one agent to reason as if it were another. We formally characterize our notion of planning with nested belief, and subsequently demonstrate how to automatically convert such problems into problems that appeal to classical planning technology. Our approach represents an important first step towards applying the well-established field of automated planning to the challenging task of planning involving nested beliefs of multiple agents

The role of OCT-A in retinal disease management

Optical coherence tomography angiography (OCT-A) is a non-invasive, non-dye-based imaging modality that has the potential to enhance our understanding of retinal diseases. While this rapidly advancing imaging modality offers great potential, there is a need for community-wide understanding of the range of technologies and methods for interpreting the images, as well as a need to enhance understanding of images from disease-free eyes for reference when screening for retinal diseases. Importantly, clinical trials have been designed without OCT-A-based endpoints; therefore, caution is required when making treatment decisions based on OCT-A imaging alone. With this in mind, a full understanding of the advantages and limitations of OCT-A will be vital for effective development of the technique within the field of ophthalmology. On behalf of the Vision Academy Steering Committee (sponsored by Bayer), this publication summarizes the views of the authors on the current use of OCT-A imaging and explores its potential for future applications in research and clinical practice

Prenatal Vitamin D Supplementation and Child Respiratory Health: A Randomised Controlled Trial

PMCID: PMC3691177This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

The influences and consequences of being digitally connected and/or disconnected to travellers

© 2017, The Author(s).Technological progress and tourism have worked in tandem for many years. Connectivity is the vehicle that drove the goal of technologically enhanced tourism experiences forward. This study, through an exploratory qualitative research identifies the factors that boost and/or distract travellers from obtaining a digitally enhanced tourism experience. Four factors can boost and/or distract travellers from being connected: (1) hardware and software, (2) needs and contexts, (3) openness to usage, and (4) supply and provision of connectivity. The research also analyses the positive and/or negative consequences that arise from being connected or disconnected. A Connected/Disconnected Consequences Model illustrates five forms of positive and/or negative consequences: (1) availability, (2) communication, (3) information obtainability, (4) time consumption, and (5) supporting experiences. A better understanding of the role and consequence of connectivity during the trip can enhance traveller experience